A hybrid approach to protein folding problem integrating constraint programming with local search

<p>Abstract</p> <p>Background</p> <p>The protein folding problem remains one of the most challenging open problems in computational biology. Simplified models in terms of lattice structure and energy function have been proposed to ease the computational hardness of this optimization problem. Heuristic search algorithms and constraint programming are two common techniques to approach this problem. The present study introduces a novel hybrid approach to simulate the protein folding problem using constraint programming technique integrated within local search.</p> <p>Results</p> <p>Using the face-centered-cubic lattice model and 20 amino acid pairwise interactions energy function for the protein folding problem, a constraint programming technique has been applied to generate the neighbourhood conformations that are to be used in generic local search procedure. Experiments have been conducted for a few small and medium sized proteins. Results have been compared with both pure constraint programming approach and local search using well-established local move set. Substantial improvements have been observed in terms of final energy values within acceptable runtime using the hybrid approach.</p> <p>Conclusion</p> <p>Constraint programming approaches usually provide optimal results but become slow as the problem size grows. Local search approaches are usually faster but do not guarantee optimal solutions and tend to stuck in local minima. The encouraging results obtained on the small proteins show that these two approaches can be combined efficiently to obtain better quality solutions within acceptable time. It also encourages future researchers on adopting hybrid techniques to solve other hard optimization problems.</p

Anal and oral human papillomavirus (HPV) infection in HIV-infected subjects in northern Italy: a longitudinal cohort study among men who have sex with men

<p>Abstract</p> <p>Background</p> <p>A study including 166 subjects was performed to investigate the frequency and persistence over a 6-month interval of concurrent oral and anal Human Papillomavirus (HPV) infections in Human Immunodeficiency Virus (HIV)-infected men who have sex with men (MSM).</p> <p>Methods</p> <p>Patients with no previously documented HPV-related anogenital lesion/disease were recruited to participate in a longitudinal study. Polymerase chain reaction (PCR) was performed to detect HPV from oral and anal swabs and to detect Human Herpes Virus 8 (HHV-8) DNA in saliva on 2 separate specimen series, one collected at baseline and the other collected 6 months later. A multivariate logistic analysis was performed using anal HPV infection as the dependent variable versus a set of covariates: age, HIV plasma viral load, CD4+ count, hepatitis B virus (HBV) serology, hepatitis C virus (HCV) serology, syphilis serology and HHV-8 viral shedding. A stepwise elimination of covariates with a p-value > 0.1 was performed.</p> <p>Results</p> <p>The overall prevalence of HPV did not vary significantly between the baseline and the follow-up, either in the oral (20.1 and 21.3%, respectively) or the anal specimens (88.6 and 86.3%). The prevalence of high-risk (HR) genotypes among the HPV-positive specimens was similar in the oral and anal infections (mean values 24.3% and 20.9%). Among 68 patients with either a HR, low-risk (LR) or undetermined genotype at baseline, 75% had persistent HPV and the persistence rates were 71.4% in HR infections and 76.7% in LR infections. There was a lack of genotype concordance between oral and anal HPV samples. The prevalence of HR HPV in anus appeared to be higher in the younger patients, peaking (> 25%) in the 43-50 years age group. A decrease of the high level of anal prevalence of all genotypes of HPV in the patients > 50 years was evident. HHV-8 oral shedding was positively related to HPV anal infection (p = 0.0046). A significant correlation was found between the persistence of HHV-8 shedding and HIV viral load by logistic bivariate analysis (Odds Ratio of HHV-8 persistence for 1-log increase of HIV viral load = 1.725 ± 0.397, p = 0.018).</p> <p>Conclusions</p> <p>A high prevalence of HPV infection was found in our cohort of HIV-infected MSM, with a negative correlation between anal HPV infection and CD4 cell count.</p

GPU-Based Parallelism for ASP-Solving

Answer Set Programming (ASP) has become the paradigm of choice in the field of logic programming and non-monotonic reasoning. With the design of new and efficient solvers, ASP has been successfully adopted in a wide range of application domains. Recently, with the advent of GPU Computing, which allowed the use of modern parallel Graphical Processing Units (GPUs) for general-purpose computing, new opportunities for accelerating ASP computation has arisen. In this paper, we describe a new approach for solving ASP that exploits the parallelism provided by GPUs. The design of a GPU-based solver poses various challenges due to the peculiarities of GPU in terms of both programmability and architecture capabilities with respect to the intrinsic nature of the satisfiability problems, which exposes poor parallelism

GASP: Answer Set Programming with Lazy Grounding

Abstract. In this paper we present a novel methodology to compute stable models in Answer Set Programming. The process is performed with a bottom-up approach that does not require the preprocessing of the typical grounding phase. The implementation is completely in Prolog and Constraint Logic Programming over finite domains.